|
23.07.15 12:04 |
Emet   | |
ru |
no preview
|
| Comments: 1 | |
| |
|
|
| updated 29.11.20 22:12 19.07.15 02:28 |
Джаина | Мамадорогая..) |
ru |
19.07.06 - 19.07.15
9 лет персу... Господи, сколько же времени прошло, совершенно случайно почему-то зашла сейчас на страницу своего перса и вспомнила, что, оказывается, у меня 9-ый др...) Как время летит... Невероятно просто. Такая старушка уже. Эх, с праздником, что ли...)
Mood: радостное 
|
|
| |
|
|
| 02.04.15 17:30 |
Emet | |
ru |
https://www.youtube.com/watch?feature=player_embedded&v=Dg_7mE6O7V0
|
|
| |
|
|
| updated 26.03.15 15:43 26.03.15 14:39 |
Emet | |
ru |
С деньгами в кармане ты и умен, и красив, и даже умеешь петь.
|
|
| |
|
|
| 23.03.15 15:03 |
Emet | |
ru |
|
|
|
| |
|
|
| updated 22.03.15 00:15 21.03.15 23:13 |
Emet | |
ru |
|
|
| |
|
|
| 06.03.15 19:56 |
Emet | Теорема Гёделя |
ru |
Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя[~ 1] — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.
Эти теоремы были доказаны Куртом Гёделем в 1930 году (опубликованы в 1931) и имеют непосредственное отношение ко второй проблеме из знаменитого списка Гильберта.
|
|
| |
|
Total posts: 575 Pages: 58
1 2 3 4 5 6 7 8 9 10.. 20.. 30.. 40.. 50..
|
|
| Mo |
Tu |
We |
Th |
Fr |
Sa |
Su |
| | | 1 | 2 | 3 | 4 | | 5 | 6 | 7 | 8 | 9 | 10 | 11 | | 12 | 13 | 14 | 15 | 16 | 17 | 18 | | 19 | 20 | 21 | 22 | 23 | 24 | 25 | | 26 | 27 | 28 | 29 | 30 | 31 | |
|
